f(a, f(a, k(a, k(a, k(a, a, a, a), a, a), a, a)
